#ifndef __ARMV7_MMU_H__
#define __ARMV7_MMU_H__

#include "page.h"

extern void cpu_armv7_set_pte(pte_t *pte_table, unsigned long entry);
extern void cpu_armv7_set_pmd(pmd_t *pmd, unsigned long entry);
extern void cpu_armv7_set_pgd(unsigned long entry);
extern int arch_early_map_addr(unsigned long vaddr, unsigned long size, unsigned long paddr, pgprot_t prot);

#endif
